_require local "./022_local4.smi"
val y : int
